type T = [,]
